module M {
    resource struct R {}

    t() acquires R {
        let _ : bool = .exists<R>(0x0);
        let () = .move_to_sender<R>(R{});
        let _ : &R = .borrow_global<R>(0x0);
        let _ : &mut R = .borrow_global_mut<R>(0x0);
        let R {} = .move_from<R>(0x0);
    }
}
